finiteness assumption

Translations
hypothèse de finitude